Probabilistic Confinement in a Declarative Framework

Probabilistic Declarative Debugging

We present a probabilistic approach to the search strategy for declarative debugging. We focus on diagnosing wrong answers in pure Prolog programs but the approach can be adapted to other languages (for example, functional languages) and bug symptoms. Drawing information from source code and the execution of passed and failed test cases, different search heuristics are combined using probabilit...

Probabilistic Declarative Process Mining

The management of business processes is receiving much attention, since it can support significant efficiency improvements in organizations. One of the most interesting problems is the representation of process models in a language that allows to perform reasoning on it. Various knowledge-based languages have been lately developed for such a task and showed to have a high potential due to the a...

Approximate Probabilistic Confinement

Declarative Information Extraction in a Probabilistic Database System

Full-text documents represent a large fraction of the world’s data. Although not structured per se, they often contain snippets of structured information within them: e.g., names, addresses, and document titles. Information Extraction (IE) techniques identify such structured information in text. In recent years, database research has pursued IE on two fronts: declarative languages and systems f...

XFormsDB: A Declarative Web Application Framework

Most Web applications utilize a three-tier architecture, in which the presentation, application logic, and data management are implemented as separate tiers. The disadvantage of this popular approach is that it usually requires expertise in multiple programming languages and paradigms as well as data models used in each tier. A single expert rarely masters all the technologies involved. In this...